$\forall$$x$:Top, $f$:$a$:Top fp$\rightarrow$ Top, $g$, ${\it eq}$:Top. $g$ o $f$($x$) $\sim$ ($g$($f$($x$)))